home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / src / machserver / notes / old.new / newVm < prev    next >
Encoding:
Text File  |  1991-09-09  |  5.5 KB  |  127 lines
  1. # New routines to support the Mach memory management interface.
  2.  
  3. # See notebook (11 June 1991) for list of operations and their desired effect
  4. # on backing files and memory objects.
  5.  
  6. # Data structures that the VM compatibility layer must keep:
  7. #
  8. # - pool of processing threads (process requests, do pageouts), plus thread to
  9. #   read requests from the port set for the memory objects
  10. #   (Set up some sort of Vm_ServerProcs mechanism.  Native Sprite
  11. #   doesn't distinguish FS cache cleaners from VM cleaners, but having a
  12. #   separate thread pool might reduce the chance of deadlock.)
  13. # - synchronization variables (for threads)
  14. # - list of memory objects that are (potentially) shared among multiple
  15. #   processes, including text (used for mmap)
  16. # - list of valid memory objects
  17. # - list of free memory objects
  18. # 
  19. # - per memory object:
  20. #   - memory object port (recv. rights)
  21. #   - memory object control port (send rights)
  22. #   - memory name object port [for use with vm_region in Vm_CreateVA &
  23. #     Vm_CleanupSharedFile]
  24. #   - lock
  25. #   - condition variable [e.g., for processes waiting for pageout or pagein to
  26. #     complete] 
  27. #   - status flag(s)
  28. #     - pending synch [msync call]
  29. #     - pending flush [segment is being deleted or process is being migrated]
  30. #     - dead [avoid cleaning pages for unused heap or stack]
  31. #     - cached (unused but not on free list)
  32. #     - premature init (? - okay to just change the object control port?)
  33. #     - free (can be allocated)
  34. #   - handle for swap file + file name
  35. #   - handle for file to initially page in from + file name
  36. #   - map to show which pages are backed from which file (or zero-fill)
  37. #     Note: don't assume that memory object uses the swap file in a linear
  38. #     fashion, especially for heap & stack.
  39. #   - length of the memory object (e.g., may be longer than swap file if some
  40. #     pages are backed by object file or if some pages are allocated but
  41. #     unused)
  42. #   - a.out header info (for object files) [corr. Vm_ExecInfo; to simplify
  43. #     reuse of cached text objects]
  44. #   - Sprite flags: 
  45. #     - debugged (code) segment
  46. #     - Sprite type (code, heap, stack, etc.) (compatibility) [also to
  47. #       help manage anonymous backing store]
  48. #   - segment ID (compatibility)
  49. #   x worker thread (this would be used to serialize operations on a memory
  50. #     object, rather than having a scheme where the object is locked before
  51. #     passing it to a worker process from the pool).  It seems better to rely
  52. #     on explicit locks to serialize operations, rather than implicitly
  53. #     serializing on the worker thread, because some operations on the memory
  54. #     object might be invoked from outside the VM code.
  55. #
  56. # 
  57. # - per task (see Vm_ProcInfo):
  58. #   - reference count [for tasks with multiple threads]
  59. #   - list of memory objects used by the task (assume at least 3 memory
  60. #     objects: text, heap, stack) [so can deallocate at exec() time and get
  61. #     the refcount right]
  62. #     (Want cooperation from emulation library so can keep track of all
  63. #     files mapped into the user address space.)
  64. #   - list of memory objects to check when a file is closed (for
  65. #     Vm_CleanupSharedFile)
  66. #   - the break (where the current heap ends) and heap start [for brk, sbrk]
  67. # 
  68. # other notes:
  69. # 
  70. # - do not vm_allocate anything in a client address space--there doesn't
  71. #   seem to be any way to get the memory object, and you might want it
  72. #   for Vm_MakeAccessible.
  73. # 
  74. # - blocks that are mapped by the FS cache should be pinned into memory.
  75. #
  76. # - if a user process does file I/O to a mapped file, there will probably be a
  77. #   race for the final value of the affected blocks.  This is no worse than
  78. #   with native Sprite.
  79. #
  80. # - when processing a request from the kernel, be sure to check the control
  81. #   and name ports.  If they're not the same, complain and ignore the request.
  82. # 
  83.  
  84. Vm_MemoryManager        # read messages on memory mgr port; call
  85.                 # Proc_NewProc if need new server thread.
  86.                 # Need to have a single reader thread that
  87.                 # will lock the appropriate memory object
  88.                 # before passing it off to the worker thread
  89.                 # (cf. MIB's mail in +mach 4/10/91).
  90. memory_object_copy        # panic--shouldn't get called
  91. memory_object_data_request    # If stack, grow memory object (down).
  92.                 # Otherwise verify that page is within memory
  93.                 # object length.  Use Vm_PageIn code to get
  94.                 # the page; call memory_object_data_provided
  95.                 # to return it to the kernel.  (Do the right
  96.                 # thing if zero-filled.)
  97. memory_object_data_unlock    # XXX shouldn't get called?
  98. memory_object_data_write    # use guts of PageOut.  Drop on the floor if
  99.                 # the memory object is dead (heap, stack, or
  100.                 # debugged text).  Grow memory object as
  101.                 # necessary.  If there is a fatal error
  102.                 # writing the page, set an error flag and
  103.                 # destroy the memory object.
  104. memory_object_init        # initialize any remaining data structures in
  105.                 # the memory object (that weren't initialized
  106.                 # when the object was created); save the given
  107.                 # ports.  Only a text segment may be cached by
  108.                 # the kernel.
  109. memory_object_lock_completed    # update list of pending lock requests, wake
  110.                 # up any threads waiting for the request to
  111.                 # finish
  112. memory_object_terminate        # use guts from Vm_SegmentDelete.
  113.                 # For code, close the object file and cache
  114.                 # the object.  For heap, close the object
  115.                 # file, delete the swap file, and cache the
  116.                 # object.  For shared file, close the backing
  117.                 # file.  For stack, delete the swap file.
  118.                 # Verify that there are actually no processes
  119.                 # using the memory object; ignore the request
  120.                 # if there are.
  121.  
  122.  
  123. Local Variables:
  124. mode: xref
  125. fill-column: 78
  126. End:
  127.